Computer access control

Results: 4654



#Item
1

Synthesising Verified Access Control Systems in XACML Nan Zhang School of Computer Science University of Birmingham Birmingham, UK, B15 2TT

Add to Reading List

Source URL: www.cs.bham.ac.uk

Language: English - Date: 2009-02-25 10:33:24
    2

    Towards Accelerated Usage Control Based on Access Correlations Richard Gay, Jinwei Hu, Heiko Mantel, and Johannes Schickel Department of Computer Science, TU Darmstadt, Germany

    Add to Reading List

    Source URL: www.mais.informatik.tu-darmstadt.de

    Language: English - Date: 2017-11-06 04:54:01
      3

      Access Control and Key Management for Mobile Agents Volker Roth 1 and Mehrdad Jalali-Sohi 2 Fraunhofer Institute for Computer Graphics, Rundeturmstr. 6, 64283 Darmstadt, Germany

      Add to Reading List

      Source URL: www.volkerroth.com

      Language: English - Date: 2007-11-23 00:02:04
        4

        Synthesising Verified Access Control Systems through Model Checking Nan Zhang, Mark Ryan∗ School of Computer Science University of Birmingham {nxz,mdr}@cs.bham.ac.uk

        Add to Reading List

        Source URL: www.cs.bham.ac.uk

        Language: English - Date: 2009-02-25 10:33:23
          5

          Verification of agent knowledge in dynamic access control policies∗ Masoud Koleini, Eike Ritter and Mark Ryan School of Computer Science The University of Birmingham Birmingham, B15 2TT, UK

          Add to Reading List

          Source URL: www.cs.bham.ac.uk

          Language: English - Date: 2013-12-10 12:19:33
            6

            Modelling Dynamic Access Control Policies for Web-based Collaborative Systems Hasan Qunoo and Mark Ryan School of Computer Science, University of Birmingham, UK Abstract. We present a modelling language, called X-Policy

            Add to Reading List

            Source URL: www.cs.bham.ac.uk

            Language: English - Date: 2010-02-17 13:26:47
              7

              Rigorous Analysis of UML Access Control Policy Models Wuliang Sun, Robert France and Indrakshi Ray Computer Science Department

              Add to Reading List

              Source URL: www.policy-workshop.org

              Language: English - Date: 2011-06-13 06:57:22
                8

                Synthesising Verified Access Control Systems in XACML Nan Zhang School of Computer Science University of Birmingham Birmingham, UK, B15 2TT

                Add to Reading List

                Source URL: www.cs.bham.ac.uk.

                Language: English - Date: 2009-02-25 10:33:24
                  9

                  Synthesising Verified Access Control Systems through Model Checking Nan Zhang, Mark Ryan∗ School of Computer Science University of Birmingham {nxz,mdr}@cs.bham.ac.uk

                  Add to Reading List

                  Source URL: www.cs.bham.ac.uk.

                  Language: English - Date: 2009-02-25 10:33:23
                    10Computing / Data / Information technology / Computer access control / Data management / Access control / Records management / Metadata / Attribute / XACML / PERMIS / Authentication

                    Draft NISTIR 8112, Attribute Metadata

                    Add to Reading List

                    Source URL: csrc.nist.gov

                    Language: English - Date: 2016-08-01 15:13:29
                    UPDATE